Лабораторна робота № 5. Побудова істиннісних таблиць. Завдання. Побудувати істиннісну таблицю для виразу з проміжними кроками (атоми p,q,s). 1. (p -> q) or (s -> q) 2. (p -> q) and (not s -> q) 3. (p -> q) ~ (s -> q) 4. (p -> q) -> (not s -> q) 5. (p ~ q) or (s -> q) 6. (p ~ q) and (not s -> q) 7. (p ~ q) ~ (s -> q) 8. (p ~ q) -> (not s -> q) 9. (p and q) or (s -> q) 10. (p or q) and (not s -> q) 11. (p and q) ~ (s -> q) 12. (p or q) -> (not s -> q) 13. (not p -> q) or (s ~ q) 14. (not p -> q) and (not s ~ q) 15. (not p -> q) ~ (s ~ q) 16. (not p -> q) -> (not s ~ q) У Pascal наявні наступні логічні операції: - логічне не NOT (x) - логічне і (x) AND (y) - логічне або (x) OR (y) - логічне виключаюче або (x) XOR (y) Приклад: p q not p not p~q … (not p ~ not q) ~ (p~q) 1 1 0 0 … 1 1 0 0 1 … 1 0 1 1 1 … 1 0 0 1 0 … 1 Var X: Boolean; Begin X := true; ……. Write(x, ‘ ’, not(x), ‘………..’); …… End.